<?php /* Smarty version 2.6.20, created on 2012-06-05 16:26:03
         compiled from _core/pagecommon/guipagebranchhistory.tpl */ ?>
function GuiPageBranchHistory() {
};

GuiPageBranchHistory.instance = function(prefix) {
  return { results: document.getElementById(prefix + '_results_div')
         };
};